151![A Linear Time Algorithm for Optimum Tree Placement Satrajit Chatterjee Zile Wei Alan Mishchenko Robert Brayton Department of EECS U. C. Berkeley {satrajit, zile, alanmi, brayton}@eecs.berkeley.edu A Linear Time Algorithm for Optimum Tree Placement Satrajit Chatterjee Zile Wei Alan Mishchenko Robert Brayton Department of EECS U. C. Berkeley {satrajit, zile, alanmi, brayton}@eecs.berkeley.edu](https://www.pdfsearch.io/img/49a1fcf67e68e37e41446d2a63b33069.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2007-04-23 22:39:34
|
---|
152![Symmetry Detection for Large Boolean Functions using Circuit Representation, Simulation, and Satisfiability Jin S. Zhang1 Alan Mishchenko2 Robert Brayton2 Malgorzata Chrzanowska-Jeske1 1 Department of ECE Symmetry Detection for Large Boolean Functions using Circuit Representation, Simulation, and Satisfiability Jin S. Zhang1 Alan Mishchenko2 Robert Brayton2 Malgorzata Chrzanowska-Jeske1 1 Department of ECE](https://www.pdfsearch.io/img/5b3da619f238459656745e4f5b40ffc3.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-05-08 11:02:36
|
---|
153![Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi](https://www.pdfsearch.io/img/05094e0d2788a71aa2959fbd1a51ba17.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-10-02 15:04:33
|
---|
154![A Theory of Non-Deterministic Networks Alan Mishchenko and Robert Brayton Department of EECS, UC Berkeley, Berkeley, CA[removed]Phone: [removed]Fax: [removed]. {alanmi, brayton}@eecs.berkeley.edu A Theory of Non-Deterministic Networks Alan Mishchenko and Robert Brayton Department of EECS, UC Berkeley, Berkeley, CA[removed]Phone: [removed]Fax: [removed]. {alanmi, brayton}@eecs.berkeley.edu](https://www.pdfsearch.io/img/e8e6557eb71f1fbda3a82348419b954f.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2005-04-30 02:17:35
|
---|
155![Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko](https://www.pdfsearch.io/img/c9eb009e45331051bfce09f2393afc5c.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2004-12-03 17:36:01
|
---|
156![Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton](https://www.pdfsearch.io/img/15345a2894940c076f994b33a0cf963d.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-02-27 22:53:37
|
---|
157![Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton](https://www.pdfsearch.io/img/953f44100463e22824a27ee66adc64fa.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-10-04 01:10:16
|
---|
158![Reducing Multi-Valued Algebraic Operations to Binary Jie-Hong R. Jiang Alan Mishchenko Robert K. Brayton Reducing Multi-Valued Algebraic Operations to Binary Jie-Hong R. Jiang Alan Mishchenko Robert K. Brayton](https://www.pdfsearch.io/img/b7f0ff2e6b9665a56da951bfeda2b5c9.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: Vietnamese - Date: 2002-12-06 20:56:43
|
---|
159![Fast Minimum-Register Retiming via Binary Maximum-Flow Alan Mishchenko Aaron Hurst Robert Brayton Fast Minimum-Register Retiming via Binary Maximum-Flow Alan Mishchenko Aaron Hurst Robert Brayton](https://www.pdfsearch.io/img/d75c69c4d345159cb62d31ab8733ca02.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-11-20 10:30:53
|
---|
160![SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu](https://www.pdfsearch.io/img/f5cb3ca59ecb070493622eb6f77995a9.jpg) | Add to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2004-12-03 17:46:16
|
---|